|
Discrepancy of hypergraphs is an area of discrepancy theory. == Hypergraph discrepancies in two colors == In the classical setting, we aim at partitioning the vertices of a hypergraph into two classes in such a way that ideally each hyperedge contains the same number of vertices in both classes. A partition into two classes can be represented by a coloring . We call -1 and +1 ''colors''. The color-classes and form the corresponding partition. For a hyperedge , set : The ''discrepancy of with respect to '' and the ''discrepancy of '' are defined by : These notions as well as the term 'discrepancy' seem to have appeared for the first time in a paper of Beck.〔J. Beck: "Roth's estimate of the discrepancy of integer sequences is nearly sharp", page 319-325. Combinatorica, 1, 1981〕 Earlier results on this problem include the famous lower bound on the discrepancy of arithmetic progressions by Roth〔K. F. Roth: "Remark concerning integer sequences", pages 257–260. Acta Arithmetica 9, 1964〕 and upper bounds for this problem and other results by Erdős and Spencer〔J. Spencer: "A remark on coloring integers", pages 43–44. Canad. Math. Bull. 15, 1972.〕〔P. Erdős and J. Spencer: "Imbalances in k-colorations", pages 379–385. Networks 1, 1972.〕 and Sárközi (described on p. 39).〔P. Erdős and J. Spencer: "Probabilistic Methods in Combinatorics." Akadémia Kiadó, Budapest, 1974.〕 At that time, discrepancy problems were called quasi-Ramsey problems. To get some intuition for this concept, let's have a look at a few examples. * If all edges of intersect trivially, i.e. for any two distinct edges , then the discrepancy is zero, if all edges have even cardinality, and one, if there is an odd cardinality edge. * The other extreme is marked by the ''complete hypergraph'' . In this case the discrepancy is . Any 2-coloring will have a color class of at least this size, and this set is also an edge. On the other hand, any coloring with color classes of size and proves that the discrepancy is not larger than . It seems that the discrepancy reflects how chaotic the hyperedges of intersect. Things are not that easy, however, as the following example shows. * Set , and . Now has many (more than ) complicatedly intersecting edges, but discrepancy zero. The last example shows that we cannot expect to determine the discrepancy by looking at a single parameter like the number of hyperedges. Still, the size of the hypergraph yields first upper bounds. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Discrepancy of hypergraphs」の詳細全文を読む スポンサード リンク
|